Relational Representation Theorems for Extended Contact Algebras

Lambda Abstraction Algebras: Representation Theorems

Lambda abstraction algebras (LAAs) are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. Like combinatory algebras they can be defined by true identities and thus form a variety in the sense of universal algebra, but they differ from combinatory algebras in several important respects. The most natural L...

A representation theorem for Boolean contact algebras

We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.

Relational Representation Theorems for Some Lattice-Based Structures

The major elements of the method of proving relational representation theorems presented in this paper are, on the one hand, Urquhart representation theorem for lattices [17] and Allwein and Dunn developments on Kripke semantics for linear logic (see [1] and also [4]), and on the other hand, a generalisation of Jonsson and Tarski ideas [9] which inspired the developments in [5], [6] and [13]. W...

On Monadic Quantale Algebras: Basic Properties and Representation Theorems

Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new s...

Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras